#!/bin/sh -x

process() {
    pwd="$(pwd)"
    cd "$1"
    rm -rf dump/
    ../"$2" || echo "supplied wrong script to launch"
    cd "$pwd"
}

process rv32-freertos dump_freertos
process rv32-zephyr dump_zephyr
process rv32-uclibc-busybox-nommu-linux dump_linux
process rv32-glibc-busybox-linux dump_linux
